<?php
if (isset($_Session['userinfo']))
$user=$_Session['userinfo'];
include 'index_html.php';